#include <stdio.h>

void * getName();

int main_() {
    printf("Hello, World!\n");
    printf("%s\n",(char *)getName());

    return 0;
}

